منابع مشابه
I-24: Consents and Contracts for Embryo Cryopreservation
Background: Couples receiving IVF treatment may choose to have embryos frozen, with the aim of creating a pregnancy and ultimately a live birth in future. Problems can arise when couples separate. Under UK law, embryos can only be transferred with the consent of both genetic parents. The issue came to public prominence in the case of Natallie Evans, who lost the opportunity to have her own gene...
متن کاملA Logic for Contracts
We investigate the logical foundations of contracts in distributed applications. A contract is an agreement stipulated between two or more parties, which speci es the duties and the rights of the parties involved therein. We model contracts as formulae in an intuitionistic logic extended with a contractual form of implication . This supports for a variant of Modus Ponens, where from a promise a...
متن کاملSimple Contracts for C++
We present a minimal system for expressing interface requirements as contracts. They provide basic mitigation measures for early containment of undesired program behavior. The set of facilities suggested in this proposal is deliberately kept to the minimum of preconditions and post-conditions. Contracts are part of an operation’s interface, but not part of its type. That is, while the expressio...
متن کاملBusiness Contracts for B2B
This paper presents an approach for the specification and implementation of business contracts needed for Business-to-Business (B2B) services. We first examine typical elements of business contracts and their usage. This analysis sets a foundation for 1) modeling contracts and 2) developing a role-based architecture that supports typical operations in the contract’s lifetime. We explore how con...
متن کاملContracts for Mobile Processes
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on session types, which are inhabited by channels, or on contracts, which are inhabited by processes. Current session type theories impose overly restrictive disciplines while contract theories only work for networks with fixed t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Lancet
سال: 1840
ISSN: 0140-6736
DOI: 10.1016/s0140-6736(02)81542-2